Лемма о жадной оценке
Лемма о жадной оценке
Формулировка:
Пусть $G$ — произвольный граф, $\Delta(G)$ — максимальная степень вершины в $G$. Тогда $\chi(G) \leq \Delta(G) + 1$.
Д-во:
Раскрасим $G$ следующим жадным алгоритмом: вершины $G$ упорядочиваются в список произвольным образом. Очередная вершина $v$ красится в наименьший из цветов, не совпадающих с цветами уже покрашенных смежных вершин. Алгоритм строит правильную раскраску. Любая вершина имеет не более $\Delta(G)$ окрашенных соседей и получает цвет $\leq \Delta(G) + 1$. $\square$
Теорема Брукса
Формулировка:
Если $G$ — неполный граф и $\Delta(G) \ge 3$, то $\chi(G) \le \Delta(G)$.